Integrated Analysis of Complex Safety Critical Systems
نویسندگان
چکیده
منابع مشابه
Integrated Analysis of Complex Safety Critical Systems
Safety Critical Systems are those systems that can potentially lead to loss of life, injury, and environmental damage. Therefore such systems have to be designed and built to meet a variety of functional and non-functional requirements, including safety, reliability, availability, and maintainability. It is essential to assess, as an independent activity, the extent to which these requirements ...
متن کاملIntegrated Development Framework for Safety-Critical Embedded Systems
This paper presents an integrated framework for designing and implementing safety-critical embedded systems. The development begins with the specification of the system using the Prelude language. Then there is the compilation step, where the Prelude compiler translates the program into a set of communicating periodic tasks that preserve the semantics of the original program. The necessary sche...
متن کاملAn Integrated Development Environment for Prototyping Safety Critical Systems
The development of software for safety critical, embedded computer systems has been widely addressed in literature. Nevertheless, there does not currently exist any single environment which provides adequate support for all of the following: static analysis, system simulation, animation and visualization, specification reuse, and refinement (from high-level requirements to implementation). In t...
متن کاملKnowledge Management in Safety-Critical Systems Analysis
Knowledge management in the design of safetycritical systems addresses the question of how designers can share, capitalize, and reuse knowledge in an effective and reliable way. Knowledge management is situated in groups, organizations, and communities, playing different roles in the design process. Design of safety-critical systems has specific properties, such as dealing with complexity, trac...
متن کاملImproving Safety-Critical Systems by Visual Analysis
The importance analysis provides a means of analyzing the contribution of potential low-level system failures to identify and assess vulnerabilities of safety-critical systems. Common approaches attempt to enhance the system safety by addressing vulnerabilities using an iterative analysis process, while considering relevant constraints, e.g., cost, for optimizing the improvements. Typically, da...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: The Computer Journal
سال: 1995
ISSN: 0010-4620,1460-2067
DOI: 10.1093/comjnl/38.10.765